Section: Software
TPLib: bibliothèque pour la manipulation de polyèdres tropicaux/TPLib: tropical polyhedra library
TPLib est une bibliothèque écrite en OCaml qui permet de manipuler des polyèdres tropicaux. Elle est distribuée sous license LGPL https://gforge.inria.fr/projects/tplib .
Cette bibliothèque implémente notamment des algorithmes permettant de passer d'une représentation externe d'un polyèdre à une représentation interne, ou inversement (voir § 6.2.1 pour plus de détails). Elle fournit également toutes les primitives permettant d'utiliser les polyèdres tropicaux en tant que domaine abstrait numérique, afin de déterminer des invariants de programmes faisant intervenir les opérations et (voir [82] ).
TPLib est aujourd'hui utilisé dans le logiciel Polymake [128] , développé à la Technische Universität Darmstadt (Allemagne). Ce dernier logiciel constitue une boite à outils permettant de manipuler des nombreux objets mathématiques (polytopes convexes, complexes polyédraux, graphes, matroïdes, polytopes tropicaux). Une interface à la bibliothèque de domaines abstraits numériques APRON [139] est également en cours de développement.
English version
TPLib is a library written in OCaml, which allows to manipulate tropical polyhedra. It is distributed under LGPL https://gforge.inria.fr/projects/tplib .
This library implements algorithms allowing to pass from an external representation of a polyhedron to an internal description, or inversely (see § 6.2.1 for more details). It also provides all the primitives allowing to use tropical polyhedra as an numerical abstract domain, in order to determine program invariants involving the operatins and (see [82] ).
TPLib is now used in the software Polymake [128] , developed in Technische Universität Darmstadt (Germany). Polymake is a toolbox allowing to manipulate mathematic objects such as convex polytopes, polyhedral complexes, graphs, matroids, and tropical polytopes. An interface to the numerical abstract domain APRON [139] is also under development.